ChkWEB

This C-shell script is provided for checking CWEB files. The template is as follows:

chkweb file1 file2 ...

As you may see from the script, it is only a trivial interface towards ``deweb'' and ChkTEX. It does currently not support any options on the command line; the only intelligence it features is that it will try to append .w to filenames it can't find.

Please note that the ``deweb'' Perl5 script does in fact preserve linebreaks, and should also mostly keep column positions correct. |...| uses are currently not dealt with, though.

The ``deweb'' script is supposed to deal with all correct CWEB escape sequences; if I have accidentally omitted some, please let me know.